<html>
<head><meta charset="utf-8"><title>Something about #[fundamental] and trait solving · t-compiler/help · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/index.html">t-compiler/help</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/Something.20about.20.23.5Bfundamental.5D.20and.20trait.20solving.html">Something about #[fundamental] and trait solving</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="165626695"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/Something%20about%20%23%5Bfundamental%5D%20and%20trait%20solving/near/165626695" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Charles Lew <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/Something.20about.20.23.5Bfundamental.5D.20and.20trait.20solving.html#165626695">(May 14 2019 at 14:26)</a>:</h4>
<p>We discussed something about trait resolving, i wrote something here, but is it actually correct?  <a href="https://github.com/rust-lang/rust/issues/44580#issuecomment-492258818" target="_blank" title="https://github.com/rust-lang/rust/issues/44580#issuecomment-492258818">https://github.com/rust-lang/rust/issues/44580#issuecomment-492258818</a></p>



<a name="165635880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/Something%20about%20%23%5Bfundamental%5D%20and%20trait%20solving/near/165635880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Charles Lew <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/Something.20about.20.23.5Bfundamental.5D.20and.20trait.20solving.html#165635880">(May 14 2019 at 16:11)</a>:</h4>
<p><span class="user-mention" data-user-id="210267">@Nemo157</span> Hi, thank you for the answer! I still have a question, why libcore is able to define this impl: <a href="https://doc.rust-lang.org/nightly/std/primitive.array.html#impl-TryFrom%3C%26%27_%20%5BT%5D%3E" target="_blank" title="https://doc.rust-lang.org/nightly/std/primitive.array.html#impl-TryFrom%3C%26%27_%20%5BT%5D%3E">https://doc.rust-lang.org/nightly/std/primitive.array.html#impl-TryFrom%3C%26%27_%20%5BT%5D%3E</a></p>



<a name="165636327"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/Something%20about%20%23%5Bfundamental%5D%20and%20trait%20solving/near/165636327" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nemo157 <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/Something.20about.20.23.5Bfundamental.5D.20and.20trait.20solving.html#165636327">(May 14 2019 at 16:16)</a>:</h4>
<p>I don’t really know the details of <code>fundamental</code>, and with arrays being a builtin type I wonder if they have some more specialness that lib core is exploiting to implement that</p>



<a name="165636449"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/Something%20about%20%23%5Bfundamental%5D%20and%20trait%20solving/near/165636449" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Charles Lew <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/Something.20about.20.23.5Bfundamental.5D.20and.20trait.20solving.html#165636449">(May 14 2019 at 16:18)</a>:</h4>
<p>thank you, i'm meeting an issue in <a href="https://github.com/rust-lang/rust/pull/60466" target="_blank" title="https://github.com/rust-lang/rust/pull/60466">https://github.com/rust-lang/rust/pull/60466</a></p>



<a name="165636535"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/Something%20about%20%23%5Bfundamental%5D%20and%20trait%20solving/near/165636535" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Charles Lew <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/Something.20about.20.23.5Bfundamental.5D.20and.20trait.20solving.html#165636535">(May 14 2019 at 16:19)</a>:</h4>
<p>after i change some impl definitions into const generics, the fore-said conflicts occurred :(</p>



<a name="165687908"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/Something%20about%20%23%5Bfundamental%5D%20and%20trait%20solving/near/165687908" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Charles Lew <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/Something.20about.20.23.5Bfundamental.5D.20and.20trait.20solving.html#165687908">(May 15 2019 at 05:34)</a>:</h4>
<p>I wonder if  <span class="user-mention" data-user-id="119009">@eddyb</span> can teach me more about this?</p>



<a name="165694157"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/Something%20about%20%23%5Bfundamental%5D%20and%20trait%20solving/near/165694157" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/Something.20about.20.23.5Bfundamental.5D.20and.20trait.20solving.html#165694157">(May 15 2019 at 07:59)</a>:</h4>
<p>not really, sorry :(</p>



<a name="165694163"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/Something%20about%20%23%5Bfundamental%5D%20and%20trait%20solving/near/165694163" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/Something.20about.20.23.5Bfundamental.5D.20and.20trait.20solving.html#165694163">(May 15 2019 at 07:59)</a>:</h4>
<p>all I know is that wg-traits people might know</p>



<a name="165720025"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/Something%20about%20%23%5Bfundamental%5D%20and%20trait%20solving/near/165720025" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Charles Lew <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/Something.20about.20.23.5Bfundamental.5D.20and.20trait.20solving.html#165720025">(May 15 2019 at 14:40)</a>:</h4>
<p>thx!</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>